the real hardest integral